abstract class Animal {
  name: String
}

class Dog extends Animal {
  fixed name = "Spot"
}
